Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
621	Symmetry in Gardens of Eden Christiaan Hartman Marijn J. H. Heule∗ Delft University of Technology Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-01-02 11:31:27 Boolean algebra Symmetry Logic in computer science NP-complete problems Electronic design automation Boolean satisfiability problem True quantified Boolean formula Conjunctive normal form Symmetry in mathematics Theoretical computer science Mathematics Applied mathematics
622	Marijn J.H. Heule December 21, 2014 Personal Information Name: Born: Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-12-21 16:31:34 Logic in computer science Boolean algebra Constraint programming Electronic design automation Formal methods Boolean satisfiability problem Maximum satisfiability problem Satisfiability Solver Theoretical computer science Mathematics Applied mathematics
623	Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads (PRELIMINARY VERSION; [removed]) ⋆ Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2011-09-25 04:19:32 Logic in computer science NP-complete problems Electronic design automation Formal methods Automated theorem proving Boolean satisfiability problem Satz Lookahead Solver Theoretical computer science Mathematics Applied mathematics
624	Supercomputer SX-9 Hardware CAD Technology of the SX-9 KONNO Yoshihiro, IKAWA Yasuhiro, SAWANO Tomoki KANAMARU Keisuke, ONO Koki, KUMAZAKI Masahito Abstract Add to Reading List Source URL: www.nec.com Language: English - Date: 2012-09-11 09:43:23 Logic design Integrated circuits Electronic design automation Hardware description language Technical communication NEC SX-8 NEC SX-9 Application-specific integrated circuit NEC Electronic engineering Digital electronics Electronics
625	1 Robust Simulations* Ryan Muldoon†‡ † Add to Reading List Source URL: www.sas.upenn.edu Language: English - Date: 2008-01-29 18:39:26 Computational science Electronic design automation Computer simulation Virtual reality Simulation Knowledge Logic simulation Agent-based model Simulated reality Scientific modeling Science Electronic engineering
626	Using a satisfiability solver to identify deterministic finite state automata Marijn J.H. Heule Sicco Verwer Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2009-08-19 05:30:10 NP-complete problems Complexity classes Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Graph coloring SL NP-complete Theoretical computer science Mathematics Computational complexity theory
627	Proceedings of Building Simulation 2011: 12th Conference of International Building Performance Simulation Association, Sydney, 14-16 November. REAL-TIME BUILDING ENERGY SIMULATION USING ENERGYPLUS AND THE BUILDING CONTRO Add to Reading List Source URL: eetd.lbl.gov Language: English - Date: 2014-12-11 20:16:29 Electronic design automation Operations research Simulation Electronics BACnet Hardware-in-the-loop simulation Logic simulation Real-time simulation Scientific modelling Electronic engineering Digital electronics Building automation
628	Call for Nominations for Editor-in-Chief of the IEEE Embedded Systems Letters The IEEE Council on Design Automation (CEDA) invites nominations for the position of Editor-in-Chief (EiC) for the IEEE Embedded Systems Lette Add to Reading List Source URL: www.ieee-ceda.org Language: English - Date: 2014-11-18 07:12:40 IEEE Council on Electronic Design Automation Institute of Electrical and Electronics Engineers Engineering Standards organizations International nongovernmental organizations Professional associations
629	Hierarchical Timing Analysis: Pros, Cons, and a New Approach By Pawan Gandhi, Naresh Kumar, Oleg Levitsky, Sharad Mehrotra, Ed Martinage, Brandon Bautz, Venkat Thanvantri, Prashant Sethia, and Ruben Molina, Cadence Desig Add to Reading List Source URL: www.cadence.com Language: English - Date: 2014-04-14 13:21:14 Integrated circuits Electronic design Signoff Timing closure Interface Logic Model Physical design Application-specific integrated circuit Static timing analysis Integrated circuit design Electronic engineering Electronics Electronic design automation
630	L:/Documents and Settings/Administrator/My Documents/Reseach/Gecco 2008 Abstract/t07pap188-qasem.dvi Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2009-12-08 14:52:22 Logic in computer science Constraint programming Operations research Boolean algebra Boolean satisfiability problem Electronic design automation Maximum satisfiability problem Local search Stochastic optimization Theoretical computer science Applied mathematics Mathematics

UPDATE